TSTP Solution File: QUA005^1 by DCTP---1.31